Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra

Source URL: cnnlocalization.csail.mit.edu

• Computer vision
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Convolutional neural network
• Computational statistics
• Neural networks
• AlexNet
• Conference on Computer Vision and Pattern Recognition
• ImageNet
• Object detection
• Receptive field

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model

Stanford Health Care FY 2017 Stanford Health Care seeks to heal humanity through science and compassion, one patient at a time, through its commitment to care, educate and discover. Stanford Health Care delivers clinical

Source URL: stanfordhealthcarequality.com

• Stanford University Medical Center
• Middlesex Hospital
• Health care

design+artLAB postmoderne / Postplatz 1 / CH-6300 Zug Kontakt: 1+x Art Meets Science, Technology and Nature

Source URL: www.officelab.ch

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Ergodic theory
• Lie algebras
• Stochastic processes

SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• System software
• Recall
• Android
• Pattern
• Short-term memory
• Student's t-test

Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti

Source URL: www.usenix.org

• Computing
• Flow control
• Network architecture
• Network protocols
• TCP congestion control
• Data transmission
• Network performance
• Transmission Control Protocol
• Packet loss
• TCP window scale option
• CUBIC TCP
• Transport layer

Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki

Source URL: proceedings.mlr.press

• Estimation theory
• Econometrics
• Statistical inference
• Estimator
• Probability distribution fitting
• M-estimators
• Maximum likelihood estimation
• Fisher information
• Gamma distribution
• Maximum spacing estimation

Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh

Source URL: homepages.cs.ncl.ac.uk

• Economy
• Money
• Finance
• Mobile payments
• Payment systems
• ISO standards
• Mobile telecommunications
• Online payments
• Near-field communication
• EMV
• Apple Pay
• Payment terminal